package com.googlecode.kipler.satisfiability.completion.rule.trace;

public enum RuleType {
	CLASH, SOME_VALUES;
}
